Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
911	An AI Modeling Tool for Designers and Developers Dan Fu, Ryan Houlette, and Jeremy Ludwig Stottler Henke Associates, Inc. 951 Mariners Island Blvd, Suite 360 San Mateo, CA 94404 {fu, houlette, ludwig}@stottlerhenke.com Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2008-01-19 05:59:59 Behavior Human behavior Automated planning and scheduling Reactive planning Finite-state machine Application programming interface Intelligent tutoring system Action Education Automata theory Digital electronics Models of computation
912	From Human Computation to the Global Brain: the self-organization of distributed intelligence Francis Heylighen Global Brain Institute Vrije Universiteit Brussel Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:40 Superorganisms Ethology Futurology Systems theory Cognition Socially distributed cognition Collective intelligence Intelligence amplification Human-based computation Science Mind Cybernetics
913	User Guide ioflo version[removed]Document Revision[removed]Samuel M. Smith PhD 242 East 600 North Lindon Add to Reading List Source URL: ioflo.com Language: English - Date: 2015-01-09 12:59:21 Computing Knowledge representation Software engineering Frame Computer science Thread UML state machine Call stack Finite-state machine Models of computation Automata theory Digital electronics
914	Microsoft Word - KWL chart.doc Add to Reading List Source URL: www.ncsu.edu Language: English - Date: 2003-02-20 09:23:35 Question Computability theory Models of computation Social psychology KWL table Data management Data collection Grammar Human communication
915	COCOON 2012 The 18th Annual International Computing and Combinatorics Conference[removed]August 2012, Sydney, Australia. Original research papers in the areas of algorithms, theory of computation, computational complexity, Add to Reading List Source URL: cocoon.it.usyd.edu.au Language: English - Date: 2011-10-31 20:39:26 Applied mathematics Computational complexity theory Algorithm Combinatorics Formal methods Algorithmic Number Theory Symposium Indocrypt Lecture Notes in Computer Science Mathematics Computer science
916	RIP: Run-based Intra-query Parallelism for Scalable Complex Event Processing Cagri Balkesen, Nihal Dindar, Matthias Wetter, Nesime Tatbul ETH Zurich, Switzerland {cagri.balkesen, dindarn, wetterma, tatbul}@inf.ethz.ch Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-05-21 16:31:01 Automata theory Computer programming Finite-state machine Parallel computing Complex event processing Pattern matching Stream processing SQL Regular expression Computing Software engineering Models of computation
917	Curriculum Vitae Last name Hölzl Forenames Add to Reading List Source URL: hoelzl.fr Language: English - Date: 2015-03-09 11:03:36 Theoretical computer science Randomness Symposium on Theoretical Aspects of Computer Science Dagstuhl Computability theory Theory of computation Gregory Chaitin Per Martin-Löf Algorithmically random sequence Mathematics Computer science Applied mathematics
918	Games with delay for automaton synthesis ¨ Christof Loding RWTH Aachen University, Germany GandALF Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-10-24 06:57:04 Automata theory Models of computation Finite-state machine
919	strategy_machines_technical.dvi Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-06 09:56:47 Computability theory Computer science Formal methods Turing machine Linear temporal logic Mealy machine Determinacy Models of computation Theory of computation Theoretical computer science
920	Quantum computing now one step closer with defect-free logic gate Add to Reading List Source URL: phys.org Language: English - Date: 2015-04-17 05:38:18 Classes of computers Models of computation Quantum field theory Majorana fermion Quantum computer Fermion Qubit Quasiparticle Physics Nanoelectronics Nanowire

UPDATE